3

Toward Model Theory Through Recursive Saturation

Year:
1978
Language:
english
File:
PDF, 577 KB
english, 1978
7

Commonsense axiomatizations for logic programs

Year:
1993
Language:
english
File:
PDF, 2.76 MB
english, 1993
8

Remodeling and Expanding Carnegie-Era Library Buildings

Year:
2014
Language:
english
File:
PDF, 418 KB
english, 2014
15

Painting Cars More Efficiently

Year:
2013
Language:
english
File:
PDF, 435 KB
english, 2013
19

Decidability and definability with circumscription

Year:
1987
Language:
english
File:
PDF, 1.33 MB
english, 1987
23

Phenomenological theory of the Portevin-Le Chatelier effect

Year:
1987
Language:
english
File:
PDF, 346 KB
english, 1987
26

On Romeo and Juliet problems: Minimizing distance-to-sight

Year:
2019
Language:
english
File:
PDF, 455 KB
english, 2019
28

A guide to the identification of admissible sets above structures

Year:
1977
Language:
english
File:
PDF, 2.43 MB
english, 1977
32

Titrimetric analysis with catalytic end-point detection and a spotting technique

Year:
1983
Language:
english
File:
PDF, 519 KB
english, 1983
33

Quality assurance in micro production

Year:
2006
Language:
english
File:
PDF, 426 KB
english, 2006
36

Statistical process and measurement control for micro production

Year:
2008
Language:
english
File:
PDF, 367 KB
english, 2008
42

Microbore-HPLC im Kriminallabor

Year:
1994
Language:
german
File:
PDF, 427 KB
german, 1994
43

Collective dynamic aging of moving dislocations

Year:
1991
Language:
english
File:
PDF, 402 KB
english, 1991
44

Klinik und Genetik der spastischen Spinalparalysen

Year:
2013
Language:
german
File:
PDF, 597 KB
german, 2013
47

The well-founded semantics for general logic programs

Year:
1991
Language:
english
File:
PDF, 2.01 MB
english, 1991
50

Who's being swindled?: a case for enlightened naivete

Year:
1986
Language:
english
File:
PDF, 644 KB
english, 1986